Computing Stuttering Simulations
نویسندگان
چکیده
Stuttering bisimulation is a well-known behavioural equivalence that preserves CTL-X, namely CTL without the next-time operator X. Correspondingly, the stuttering simulation preorder induces a coarser behavioural equivalence that preserves the existential fragment ECTL-{X,G}, namely ECTL without the next-time X and globally G operators. While stuttering bisimulation equivalence can be computed by the well-known Groote and Vaandrager’s algorithm, to the best of our knowledge, no algorithm for computing the stuttering simulation preorder and equivalence is available. This paper presents such an algorithm for finite state systems.
منابع مشابه
Stuttering Equivalence and Stuttering Invariance
are not. Stuttering equivalence is a fundamental concept in the theory of concurrent and distributed systems. Notably, Lamport [1] argues that refinement notions for such systems should be insensitive to finite stuttering. Peled and Wilke [2] showed that all PLTL (propositional linear-time temporal logic) properties that are insensitive to stuttering equivalence can be expressed without the nex...
متن کاملOverreliance on auditory feedback may lead to sound/syllable repetitions: simulations of stuttering and fluency-inducing conditions with a neural model of speech production.
UNLABELLED This paper investigates the hypothesis that stuttering may result in part from impaired readout of feedforward control of speech, which forces persons who stutter (PWS) to produce speech with a motor strategy that is weighted too much toward auditory feedback control. Over-reliance on feedback control leads to production errors which if they grow large enough, can cause the motor sys...
متن کاملComputational Modeling of the Neural Substrates of Stuttering and Induced Fluency
Stuttering is a speech motor control disorder of unknown etiology whose hallmark is part-syllable repetition. The principal aim of this dissertation is to understand the neural mechanisms underlying stuttering through computational modeling with DIVA and GODIVA, neural network models of speech acquisition and production. The first part of the dissertation investigates the hypothesis that stutte...
متن کاملStuttering Prevalence among Kurdish-Farsi Students Effects of the Two Languages Similarities
Objectives: It has been noted that stuttering is more prevalent in bilinguals than in monolinguals. The similarities of the languages involved have been mentioned to justify the difference between stuttering prevalence among bilingual and monolingual speakers. The aim of this study is to investigate the effect of language similarities on prevalence of stuttering among Kurdish-Farsi bilingual st...
متن کاملمقایسه کیفیت زندگی بزرگسالان دچار لکنت با افراد بدونلکنت با تأکید بر شدت لکنت
Objective Stuttering can negatively impact the quality of life and cause psychosocial problems for individuals who stutter. The Overall Assessment of the Speaker’s Experience of Stuttering for Adults (OASES-A) is a comprehensive psychological test containing four components in which the fourth one focuses on the quality of life. The main purpose of this study is to examine the quality of ...
متن کامل